tools-include-install.diff
authorBastian Blank <waldi@debian.org>
Sat, 5 Jul 2014 09:47:30 +0000 (11:47 +0200)
committerIan Jackson <ian.jackson@citrix.com>
Fri, 24 Aug 2018 17:45:17 +0000 (18:45 +0100)
commit201d89bb504e6dea047e8b34c6532463ae4eb838
tree60330279c3d3afdd7c3ac652dbf49a895a4af047
parent80bcc3f40caceefc7b075738951757abd6cdea4e
tools-include-install.diff

Patch-Name: tools-include-install.diff

Gbp-Pq: Topic misc
Gbp-Pq: Name tools-include-install.diff
tools/include/Makefile